Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
71	Programming Language Techniques for Cryptographic Proofs Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematics Knowledge Mathematical proof Science Cryptography Ciphertext indistinguishability Optimal asymmetric encryption padding
72	Computer-Aided Security Proofs for the Working Cryptographer⋆ Gilles Barthe1 , Benjamin Gr´egoire2, Sylvain Heraud2 , and Santiago Zanella B´eguelin1 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematics Functions and mappings Function First-order logic Interpretation Mathematical logic Model theory Logic
73	Programming Language Techniques for Cryptographic Proofs Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematics Knowledge Mathematical proof Science Cryptography Ciphertext indistinguishability Optimal asymmetric encryption padding
74	Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-02-23 10:00:40 Mathematical logic Mathematical constructivism Constructivism Type theory Mathematical proof Function Constructive proof Constructive set theory Mathematics Epistemology Logic
75	CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic
76	The Ree Group Formula Enrico Bombieri* Does beauty exist in mathematics? The question concerns mathematical objects and their relations, the real subject of verifiable proofs. Mathematicians generally agree that beauty d Add to Reading List Source URL: www.gregkucera.com Language: English - Date: 2015-01-07 20:36:14 Lie groups Algebraic structures Group theory Algebraic groups Classification of finite simple groups Group Symmetry in mathematics Simple group Emmy Noether Abstract algebra Algebra Symmetry
77	International Mathematical Forum, Vol. 10, 2015, no. 6, HIKARI Ltd, www.m-hikari.com http://dx.doi.orgimfGeometric Proofs of the Common Tones Theorems Add to Reading List Source URL: www.m-hikari.com Language: English - Date: 2015-05-10 11:22:48 Harmony Twelve-tone technique Music theory Diatonic and chromatic Inversion Combinatoriality Interval vector Transposition Common tone Music Post-tonal music theory Musical set theory
78	Computer-aided security proofs for the working cryptographer Gilles Barthe Sylvain Heraud Benjamin Grégoire Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Science Knowledge Cryptography Mathematical proof
79	Formal Certification of Game-Based Cryptographic Proofs Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain INRIA Sophia Antipolis - M´ Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Cryptology Cryptography ProVerif Knowledge Science Mathematical sciences Cryptanalysis
80	CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic

UPDATE